let p' = compose p h
